(0 17 15)(1 18 12)(2 20 4)(3 7 5)(6 14 8)(9 16 10)(11 19 13)
ALLOWS (11/8)-SEQUENCE
1: (12 16 18)
(0 17 15)(1 18 10 9 16)(2 20 4)(3 7 5)(6 14 8)(11 19 13)(12)
2: (1 9 16)
(0 17 15)(1)(2 20 4)(3 7 5)(6 14 8)(9 18 10)(11 19 13)(12)(16)
3: (0 17 15)
(0)(1)(2 20 4)(3 7 5)(6 14 8)(9 18 10)(11 19 13)(12)(15)(16)(17)
4: (11 19 13)
(0)(1)(2 20 4)(3 7 5)(6 14 8)(9 18 10)(11)(12)(13)(15)(16)(17)(19)